Operational semantics - Allemand Anglais Dictionnaire